Fix up s/gtk_frame_clock/gdk_frame_clock/ in docs

diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index 48f996063eb5eb0eefc023de055c6e672fdeac9b..58c6d901e0bb6a472d75d69df5a8f09423389f10 100644 (file)
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -4623,9 +4623,9 @@ static guint tick_callback_id;
  * then you will have to call gtk_widget_queue_resize() or
  * gtk_widget_queue_draw_area() yourself.
  *
- * gtk_frame_clock_get_frame_time() should generally be used for timing
+ * gdk_frame_clock_get_frame_time() should generally be used for timing
  * continuous animations and
- * gtk_frame_timings_get_predicted_presentation_time() if you are
+ * gdk_frame_timings_get_predicted_presentation_time() if you are
  * trying to display isolated frames particular times.
  *
  * This is a more convenient alternative to connecting directly to the